APC B - Two Arrays
#Review_Queue
#Problem
#必要条件から考えて十分性を示す
AtCoder
Editorial
証明が難しい、必要条件をもっと考えるべきだった